Testing of Computer Software with Temporal Constraints

Computers in consumers product are increasing. Many of these computers are controlled by software. To ensure that the consumer can use the product as expected the software must be tested. Unfortunately, testing is often neglected because it is costly and resource demanding. One solution to this is to make test tools and test methods available to the developers of software. The purpose of this report is to point out methods and tools for testing of computer software, especially for software that have constraints on their temporal behavior, i.e., real-time systems.